GPUPSAT="../../Debug/GPUSATSolver"

for file in ../*.cnf
do

	RESULT=`$GPUPSAT $file | grep "We are done! any number = " | cut -d " " -f 7`

	if [[ "$RESULT" == "3478975" ]]
	then
		echo "File $file MATCHED"
	else
		echo "File $file DID NOT MATCHED"
	fi

done
